Gardner, Philippa L.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Towards a program logic for JavaScript

Gardner, Philippa Anne, Maffeis, Sergio, Smith, Gareth David

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 867 KB

english, 2012

2

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)

da Rocha Pinto, Pedro, Dinsdale-Young, Thomas, Gardner, Philippa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

File:

PDF, 2 KB

2015

3

A perspective on specifying and verifying concurrent modules

Dinsdale-Young, Thomas, da Rocha Pinto, Pedro, Gardner, Philippa

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 616 KB

english, 2018

4

A process model of Rho GTP-binding proteins

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 4.59 MB

english, 2009

5

Behavioural equivalences for dynamic Web data

Sergio Maffeis, Philippa Gardner

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 2.67 MB

english, 2008

6

Equivalences between logics and their representing type theories

Gardner, Philippa

Journal:

Mathematical Structures in Computer Science

Year:

1995

Language:

english

File:

PDF, 1.57 MB

english, 1995

7

Report on the EDBT/ICDT 2010 workshop on updates in XML

Benedikt, Michael, Florescu, Daniela, Gardner, Philippa, Guerrini, Giovanna, Mesiti, Marco, Waller, Emmanuel

Journal:

ACM SIGMOD Record

Year:

2010

Language:

english

File:

PDF, 88 KB

english, 2010

8

[Lecture Notes in Computer Science] CONCUR 2004 - Concurrency Theory Volume 3170 || A Survey of Regular Model Checking

Gardner, Philippa, Yoshida, Nobuko

Year:

2004

Language:

english

File:

PDF, 197 KB

english, 2004

9

JaVerT: JavaScript verification toolchain

Fragoso Santos, José, Maksimović, Petar, Naudžiūnienė, Daiva, Wood, Thomas, Gardner, Philippa

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 1.43 MB

english, 2017

10

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 7792 ||

Felleisen, Matthias, Gardner, Philippa

Year:

2013

Language:

english

File:

PDF, 7.63 MB

english, 2013

11

Explicit fusions

Lucian Wischik, Philippa Gardner

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 542 KB

english, 2005

12

Inhibition of rat adjuvant arthritis by a new immunosuppressive agent rubidomycin

F. Quagliata, Philippa M. Sanders, D. L. Gardner

Journal:

Cellular and Molecular Life Sciences

Year:

1968

Language:

english

File:

PDF, 268 KB

english, 1968

13

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A trusted mechanised JavaSript specification

Bodin, Martin, Chargueraud, Arthur, Filaretti, Daniele, Gardner, Philippa, Maffeis, Sergio, Naudziuniene, Daiva, Schmitt, Alan, Smith, Gareth

Year:

2014

Language:

english

File:

PDF, 647 KB

english, 2014

14

Editorial

Philippa Gardner, Nobuko Yoshida

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 95 KB

english, 2006

15

[Lecture Notes in Computer Science] CONCUR 2004 - Concurrency Theory Volume 3170 || Open Maps, Alternating Simulations and Control Synthesis

Gardner, Philippa, Yoshida, Nobuko

Year:

2004

Language:

english

File:

PDF, 203 KB

english, 2004

16

Local Reasoning about Data Update

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 664 KB

english, 2007

17

The experience of postnatal depression in West African mothers living in the United Kingdom: A qualitative study

Gardner, Philippa L., Bunton, Penny, Edge, Dawn, Wittkowski, Anja

Journal:

Year:

2014

Language:

english

File:

PDF, 355 KB

english, 2014

18

Improving physical health and reducing substance use in psychosis – randomised control trial (IMPACT RCT): study protocol for a cluster randomised controlled trial

Gaughran, Fiona, Stahl, Daniel, Ismail, Khalida, Atakan, Zerrin, Lally, John, Gardner-Sood, Poonam, Patel, Anita, David, Anthony, Hopkins, David, Harries, Bee, Lowe, Philippa, Orr, Diana, Arbuthnot, M

Journal:

Year:

2013

Language:

english

File:

PDF, 364 KB

english, 2013

19

Randomised control trial of the effectiveness of an integrated psychosocial health promotion intervention aimed at improving health and reducing substance use in established psychosis (IMPaCT)

Gaughran, Fiona, Stahl, Daniel, Ismail, Khalida, Greenwood, Kathryn, Atakan, Zerrin, Gardner-Sood, Poonam, Stubbs, Brendon, Hopkins, David, Patel, Anita, Lally, John, Lowe, Philippa, Arbuthnot, Mauric

Journal:

Year:

2017

Language:

english

File:

PDF, 859 KB

english, 2017

20

Verified trustworthy software systems

Gardner, Philippa

Journal:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Year:

2017

Language:

english

File:

PDF, 187 KB

english, 2017

21

Modelling dynamic web data

Philippa Gardner, Sergio Maffeis

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 358 KB

english, 2005

22

A simple abstraction for complex concurrent indexes

da Rocha Pinto, Pedro, Dinsdale-Young, Thomas, Dodds, Mike, Gardner, Philippa, Wheelhouse, Mark

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 917 KB

english, 2011

23

Maternal uterine NK cell–activating receptor KIR2DS1 enhances placentation

Xiong, Shiqiu, Sharkey, Andrew M., Kennedy, Philippa R., Gardner, Lucy, Farrell, Lydia E., Chazara, Olympe, Bauer, Julien, Hiby, Susan E., Colucci, Francesco, Moffett, Ashley

Journal:

Journal of Clinical Investigation

Year:

2013

Language:

english

File:

PDF, 1.64 MB

english, 2013

24

A Type-theoretic Description of Action Calculi

Philippa Gardner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 32 KB

english, 1998

25

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - A simple abstraction for complex concurrent indexes

da Rocha Pinto, Pedro, Dinsdale-Young, Thomas, Dodds, Mike, Gardner, Philippa, Wheelhouse, Mark

Year:

2011

Language:

english

File:

PDF, 917 KB

english, 2011

26

[ACM Press the 1st International Workshop - Lausanne, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 1st International Workshop on Data Semantics - DataSem '10 - Reasoning about client-side web programs

Gardner, Philippa

Year:

2010

Language:

english

File:

PDF, 81 KB

english, 2010

27

[ACM Press the 20th International Symposium - Frankfurt am Main, Germany (2018.09.03-2018.09.05)] Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18 - Symbolic Execution for JavaScript

Santos, José Fragoso, Maksimović, Petar, Grohens, Théotime, Dolby, Julian, Gardner, Philippa

Year:

2018

Language:

english

File:

PDF, 2.96 MB

english, 2018

28

Regional Patterns in Puerulus Catches from Estern and Western Tasmania

Philippa J. Cohen and Caleb Gardner

Journal:

Journal of Crustacean Biology

Year:

2007

Language:

english

File:

PDF, 325 KB

english, 2007

29

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Views

Dinsdale-Young, Thomas, Birkedal, Lars, Gardner, Philippa, Parkinson, Matthew, Yang, Hongseok

Year:

2013

Language:

english

File:

PDF, 699 KB

english, 2013

30

[ACM Press the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium - Vancouver, Canada (2008.06.09-2008.06.12)] Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '08 - Local Hoare reasoning about DOM

Gardner, Philippa A., Smith, Gareth D., Wheelhouse, Mark J., Zarfaty, Uri D.

Year:

2008

Language:

english

File:

PDF, 403 KB

english, 2008

31

Regional Patterns in Puerulus Catches from Eastern and Western Tasmania

Cohen, Philippa J., Gardner, Caleb

Journal:

Journal of Crustacean Biology

Year:

2007

Language:

english

File:

PDF, 86 KB

english, 2007

32

A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis

Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.46 MB

english, 2008

33

A Name-free Account of Action Calculi

Philippa Gardner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 859 KB

english, 1995

34

Manipulating Trees with Hidden Labels

Luca Cardelli, Philippa Gardner, Giorgio Ghelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 357 KB

english, 2007

35

Skeletal semantics and their interpretations

Bodin, Martin, Gardner, Philippa, Jensen, Thomas, Schmitt, Alan

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

File:

PDF, 482 KB

2019

36

Culturally determined risk factors for postnatal depression in Sub-Saharan Africa: A mixed method systematic review

Wittkowski, Anja, Gardner, Philippa L., Bunton, Penny, Edge, Dawn

Journal:

Journal of Affective Disorders

Year:

2014

Language:

english

File:

PDF, 641 KB

english, 2014

37

[Lecture Notes in Computer Science] Database Programming Languages Volume 5708 ||

Gardner, Philippa, Geerts, Floris

Year:

2009

Language:

english

File:

PDF, 1.71 MB

english, 2009

38

Closed action calculi

Philippa Gardner

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 177 KB

english, 1999

39

Adjunct elimination in Context Logic for trees

Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 396 KB

english, 2010

40

[Lecture Notes in Computer Science] CONCUR 2004 - Concurrency Theory Volume 3170 ||

Gardner, Philippa, Yoshida, Nobuko

Year:

2004

Language:

english

File:

PDF, 4.87 MB

english, 2004

41

A Process Model of Actin Polymerisation

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.95 MB

english, 2009

42

Local Reasoning About Tree Update

Uri Zarfaty, Philippa Gardner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 379 KB

english, 2006

43

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Towards a program logic for JavaScript

Gardner, Philippa Anne, Maffeis, Sergio, Smith, Gareth David

Year:

2012

Language:

english

File:

PDF, 867 KB

english, 2012

44

[Lecture Notes in Computer Science] CONCUR 2004 - Concurrency Theory Volume 3170 || Type Based Discretionary Access Control

Gardner, Philippa, Yoshida, Nobuko

Year:

2004

File:

PDF, 293 KB

2004

45

Linear forwarders

Philippa Gardner, Cosimo Laneve, Lucian Wischik

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

46

Context logic as modal logic

Calcagno, Cristiano, Gardner, Philippa, Zarfaty, Uri

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 680 KB

english, 2007

47

[ACM Press the 20th International Symposium - Frankfurt am Main, Germany (2018.09.03-2018.09.05)] Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18 - JaVerT

Gardner, Philippa

Year:

2018

Language:

english

File:

PDF, 552 KB

english, 2018

48

Long term effect of primary health care training on HIV testing: A quasi-experimental evaluation of the Sexual Health in Practice (SHIP) intervention

Pillay, Kamla, Gardner, Melissa, Gould, Allon, Otiti, Susan, Mullineux, Judith, Bärnighausen, Till, Matthews, Philippa Margaret, Smith Fawzi, Mary C

Journal:

Year:

2018

Language:

english

File:

PDF, 1.19 MB

english, 2018

49

Abstract Local Reasoning for Concurrent Libraries: Mind the Gap

Gardner, Philippa, Raad, Azalea, Wheelhouse, Mark, Wright, Adam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 383 KB

english, 2014

50

Processes in space

Luca Cardelli, Philippa Gardner

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 383 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски